Topos Causal Models
arxiv.org·2h
🕸️Algebraic Topology
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·11h·
Discuss: Hacker News
🐚Shell Monads
Reference Contra Dance Sound System 2025
jefftk.com·17h
💿FLAC Archaeology
Dynamic Digital Twin Calibration via Multi-Modal Anomaly Detection and Reinforcement Learning
dev.to·3h·
Discuss: DEV
👁️Observatory Systems
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·16h·
Discuss: Hacker News
🧠Computational Logic
Understanding Transformers through the Lens of Pavlovian Conditioning
arxiv.org·2h
🧠Machine Learning
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·17h
🔢Denotational Semantics
Song recommendations with free monads
blog.ploeh.dk·2d
🐚Shell Monads
Programming languages and dimensions of units of measure
cl.cam.ac.uk·2d·
Discuss: Hacker News
💻Programming languages
TensorFlow Graph Optimization With Grappler
hackernoon.com·10h
✨Effect Handlers
Heartificial Intelligence: Exploring Empathy in Language Models
arxiv.org·2h
🏛Digital humanities
Model Predictive-Control Basics
towardsdatascience.com·12h
⚡Effectful Programming
Pieces of Autonomy
reactiverobot.com·13h·
Discuss: Hacker News
🔐Capability Systems
Harmonic balance-automatic differentiation method: an out-of-the-box and efficient solver for general nonlinear dynamics simulation
arxiv.org·1d
📐Interval Arithmetic
Inline Caching (2021)
bernsteinbear.com·1h·
Discuss: Hacker News
🏗️Compiler Archaeology
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
arxiv.org·2h
🌀Differential Geometry
Recent cross-research on LLM and RL on ArXiv
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Improving Facial Rig Semantics for Tracking and Retargeting
arxiv.org·2h
🗜️LZW Variants
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·8h·
Discuss: Hacker News
💻Local LLMs
Evaluating Contrast Localizer for Identifying Causal Unitsin Social & Mathematical Tasks in Language Models
arxiv.org·2h
✨Effect Handlers